Monotone Boolean formulas can approximate monotone linear threshold functions
نویسنده
چکیده
We show that any monotone linear threshold function on n Boolean variables can be approximated to within any constant accuracy by a monotone Boolean formula of poly(n) size.
منابع مشابه
Probabilistic Construction of Monotone Formulae for Positive Linear Threshold Functions
We extend Valiant's construction of monotone formulae for the majority function to obtain an eecient probabilistic construction of small monotone formulae for arbitrary positive linear threshold functions. We show that any positive linear threshold function on n boolean variables which has weight complexity q(n) can be computed by a monotone boolean formula of size O(q(n) 3:3 n 2): Our techniqu...
متن کاملEfficient Generation of Linear Secret Sharing Scheme Matrices from Threshold Access Trees
Linear Secret Sharing Scheme (LSSS) matrices are commonly used for implementing monotone access structures in highly expressive Ciphertext-Policy Attribute-Based Encryption (CP-ABE) schemes. However, LSSS matrices are much less intuitive to use when compared with other approaches such as boolean formulas or access trees. To bridge the gap between the usability of an access structure representat...
متن کاملFunction Evaluation Via Linear Programming in the Priced Information Model
Wedetermine the complexity of evaluatingmonotone Boolean functions in a variant of the decision tree model introduced in [Charikar et al. 2002]. In thismodel, reading different variables can incur different costs, and competitive analysis is employed to evaluate the performance of the algorithms. It is known that for a monotone Boolean function f, the size of the largest certificate, aka PROOF ...
متن کاملSatisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases
We give a #SAT algorithm for boolean formulas over arbitrary finite bases. Let Bk be the basis composed of all boolean functions on at most k inputs. For Bk-formulas on n inputs of size cn, our algorithm runs in time 2n(1−δc,k) for δc,k = c −O(c2k2k). We also show the average-case hardness of computing affine extractors using linear-size Bk-formulas. We also give improved algorithms and lower b...
متن کاملSeparation of AC[⊕] Formulas and Circuits
This paper gives the first separation between the power of formulas and circuits of equal depth in the AC[⊕] basis (unbounded fan-in AND, OR, NOT and MOD2 gates). We show, for all d(n) ≤ O( logn log logn ), that there exist polynomial-size depth-d circuits that are not equivalent to depth-d formulas of size n (moreover, this is optimal in that n cannot be improved to n). This result is obtained...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Discrete Applied Mathematics
دوره 142 شماره
صفحات -
تاریخ انتشار 2004